Solving Set Constraint Satisfaction Problems using ROBDDs

In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many set domains and set constraints using ROBDDs. We demonstrate that the ROBDD-based approach provides unprecedented flexibility in modeling constraint satisfaction problems, leading to performance improvements. We also show that the ROBDD-based modeling approach can be extended to the modeling of integer and multiset constraint problems in a straightforward manner. Since domain propagation is not always practical, we also show how to incorporate less strict consistency notions into the ROBDD framework, such as set bounds, cardinality bounds and lexicographic bounds consistency. Finally, we present experimental results that demonstrate the ROBDD-based solver performs better than various more conventional constraint solvers on several standard set constraint problems

The threatened status of restricted-range coral reef fish species

Coral reefs are the most diverse ecosystem in the sea. Throughout the world they are being overfished, polluted and destroyed, placing biodiversity at risk. To date, much of the concern over biodiversity loss has centred on local losses and the possibility of global extinction has largely been discounted. However, recent research has shown that 24% of reef fish species have restricted ranges (< 800 000 km(2)), with 9% highly restricted (< 50 000 km(2)). Restricted-range species are thought to face a greater risk of extinction than more widespread species since local impacts could cause global loss. We searched for information on status in the wild and characteristics of 397 restricted-range reef fish species. Fish body size, habitat requirements and usefulness to people were compared with those of a taxonomically-matched sample of more widespread species. We found that on average species with restricted ranges were significantly smaller (mean total length 19.1 cm versus 24.4 cm), tended to have narrower habitat requirements and were less used by people. Greater habitat specificity will tend to increase extinction risk while, if real, more limited usefulness (equivalent to exploitation) may reduce risk. Fifty-eight percent of restricted-range species were considered common/abundant in the wild and 42% uncommon/rare. Population status and threats to 319 species for which data were available were assessed according to the categories and criteria of the IUCN red list of threatened animals. A number of species were found to be rare, were exploited and had highly restricted ranges overlapping areas where reef degradation is particularly severe, placing them at a high risk of extinction. Five species were listed as Critically Endangered, two of them possibly already extinct in the wild, one as Endangered and 172 as Vulnerable. A further 126 species fell into Lower Risk categories and 11 were considered Data Deficient. Given the intensity of impacts to reefs, the broad geographical areas affected and the large numbers of restricted-range species, global extinctions seem likely. Urgent management action is now crucial for the survival of several species of reef fishes

Inlet spillage drag tests and numerical flow-field analysis at subsonic and transonic speeds of a 1/8-scale, two-dimensional, external-compression, variable-geometry, supersonic inlet configuration

Accurate spillage drag and pressure data are presented for a realistic supersonic inlet configuration. Results are compared with predictions from a finite-differencing, inviscid analysis computer procedure. The analytical technique shows good promise for the evaluation of inlet drag, but necessary refinements were identified. A detailed description of the analytical procedure is contained in the Appendix

Preliminary Canopy Removal Experiments in Algal Dominated Communities Low on the Shore and in the Shallow Subtidal on the Isle of Man

The algal dominated communities immediately above and below the low-water spring level on a moderately exposed Manx shore were investigated by canopy removal experiments. Fucus serratus, Laminaria digitata and L. hyperborea were removed. Competition was shown to be important in determining the zonation of L. digitata and the distribution along the wave exposure gradient of other species such as Alaria esculenta, Desmarestia aculeata and D. viridis, and L. saccharina. Many species of algal epiphytes were early colonizers of canopy removal areas suggesting that competition from canopy algae usually restricts them to an epiphytic habit. The results indicate that interactions between macrophytes are much more important than grazing in structuring these communities

LANDING DEVELOPMENT: A FIRST LOOK AT YOUNG CHILDREN

The purpose of this study was to examine sagittal and frontal views of children (n=14) aged 4-9 landing from a maximal effort vertical jump to begin a description of landing development. Video records (collected at 30 frames/sec) of the jump and landing were viewed frame by frame with Windows Movie Maker and analyzed with a simple scoring system validated to detect improper movements during landing. Findings indicated that this stop-landing task challenged balance as most landings included a step, straddled foot position, and a wide stance. Mechanisms for force absorption (knee and hip flexion) tended to occur more often in landings of older children, but incidences of knee valgus also increased with age. Further investigation may establish developmental expectations for landing and help coaches and physical educators correct potentially harmful patterns as children age and pursue more competitive sport

The North Wyke Farm Platform: Fine Resolution (15-minute) Meteorological Data

The North Wyke Farm Platform (NWFP) was established in 2010 to study and improve grassland livestock production at the farm-scale. The NWFP uses a combination of environmental sensors, routine field and lab-based measurements, and detailed management records to monitor livestock and crop production, emissions to water, emissions to air, soil health, and biodiversity. The rich NWFP datasets help researchers to evaluate the effectiveness of different grassland (and arable) farming systems, which in turn, contributes to the development of sustainable, resilient and net zero land management strategies. This document serves as a user guide to the meteorological data (MET) captured at a 15-minute temporal resolution from the North Wyke Farm Platform (NWFP). The guide gives details of the instrumentation, sensor calibration and data collection and is associated with other dedicated user guides that detail the design, establishment and development of the NWFP, and the quality control process of datasets

Longitudinal and seasonal changes in functional organization of macroinvertebrate communities in four Oregon streams.

Relative numerical dominance and densities of invertebrate functional feeding groups are compared with longitudinal and seasonal changes in food resources in a Cascade Range stream system in Oregon. We also compare our data with hypothetical predictions of the River Continuum model. We found that both relative abundances and densities of functional groups fit qualitative characterization of stream reaches and the River Continuum model: Shredders dominated upper shaded reaches; scrapers were most important in intermediate—sized sections; collectors increased in importance progressively downstream; predators were nearly constant in relative abundance at all sections; other functional groups were either rare or only locally abundant. Seasonal shifts also occurred but were not as dramatic as longitudinal differences. Correlation analyses between quantitative measures of food sources and functional group abundance were usually significant. Lack of significance for some correlations is likely due to inaccurate characterization of food availability, but small size and improper classification of species\u27 feeding behavior also may be important. In addition, invertebrate densities and food standing crop are static parameters and only approximately reflect the dynamics of consumer production and food availability. Read More: http://www.esajournals.org/doi/abs/10.2307/193671

The North Wyke Farm Platform: Field Events Data

The North Wyke Farm Platform (NWFP) was established in 2010 to study and improve grassland livestock production at the farm-scale. The NWFP uses a combination of environmental sensors, routine field and lab-based measurements, and detailed management records to monitor livestock and crop production, emissions to water, emissions to air, soil health, and biodiversity. The rich NWFP datasets help researchers to evaluate the effectiveness of different grassland (and arable) farming systems, which in turn, contributes to the development of sustainable, resilient and net zero land management strategies. This document serves as a user guide to the field events and common field operations that occur on the NWFP and is associated with other dedicated user guides that detail the collection, and quality control processing of all the datasets produced on the NWFP

The North Wyke Farm Platform: Fine Resolution (15-minute) Soil Moisture Station Data

The North Wyke Farm Platform (NWFP) was established in 2010 to study and improve grassland livestock production at the farm-scale. The NWFP uses a combination of environmental sensors, routine field and lab-based measurements, and detailed management records to monitor livestock and crop production, emissions to water, emissions to air, soil health, and biodiversity. The rich NWFP datasets help researchers to evaluate the effectiveness of different grassland (and arable) farming systems, which in turn, contributes to the development of sustainable, resilient and net zero land management strategies. This document serves as a user guide to the soil moisture station (SMS) data (soil moisture and soil temperature sensors, rain gauge for precipitation) captured at a 15-minute temporal resolution. The guide gives details of the instrumentation, sensor calibration and data collection and is associated with other dedicated user guides that detail the design, establishment and development of the NWFP, field events, and the quality control process of datasets

On the relationship between sigma models and spin chains

We consider the two-dimensional $\rm O(3)$ non-linear sigma model with topological term using a lattice regularization introduced by Shankar and Read [Nucl.Phys. B336 (1990), 457], that is suitable for studying the strong coupling regime. When this lattice model is quantized, the coefficient $\theta$ of the topological term is quantized as $\theta=2\pi s$, with $s$ integer or half-integer. We study in detail the relationship between the low energy behaviour of this theory and the one-dimensional spin-$s$ Heisenberg model. We generalize the analysis to sigma models with other symmetries.Comment: To appear in Int. J. MOd. Phys.